refutation tree

См. также в других словарях:

• SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… …   Wikipedia

• Ionians (The) — The Ionians Malcolm Schofield THALES AND OTHERS The Greeks agreed that philosophy had begun with Thales. However they did not know much about his views.1 What survives is mostly a potent legend. Herodotus tells stories of his practical ingenuity …   History of philosophy

• Gnosticism — • History of Gnosticism from its pre Christian roots through its developed doctrines concerning cosmogony, the Sophia myth, soteriology, and eschatology. Includes information on rites, schools, and literature Catholic Encyclopedia. Kevin Knight.… …   Catholic encyclopedia

• UNITED STATES OF AMERICA — UNITED STATES OF AMERICA, country in N. America. This article is arranged according to the following outline: introduction Colonial Era, 1654–1776 Early National Period, 1776–1820 German Jewish Period, 1820–1880 East European Jewish Period,… …   Encyclopedia of Judaism

• Alpha-beta pruning — is a search algorithm which seeks to reduce the number of nodes that are evaluated in the search tree by the minimax algorithm. It is a search with adversary algorithm used commonly for machine playing of two player games (Tic tac toe, Chess, Go …   Wikipedia

• Octavio Paz: Nobel Lecture — ▪ Primary Source       Nobel Lecture, December 8, 1990       (Translation)       In Search of the Present       I begin with two words that all men have uttered since the dawn of humanity: thank you. The word gratitude has equivalents in every… …   Universalium

• Flat Earth — For other uses, see Flat Earth (disambiguation). The Flammarion engraving (1888) depicts a traveller who arrives at the edge of a flat Earth and sticks his head through the firmament …   Wikipedia

• Idealism — The 20th century British scientist Sir James Jeans wrote that the Universe begins to look more like a great thought than like a great machine This article is about the philosophical notion of idealism. For other uses, see Idealism… …   Wikipedia

• Transposition table — In computer chess and other computer games, transposition tables are used to speed up the search of the game tree. Transposition tables are primarily useful in perfect information games, meaning the entire state of the game is known to all… …   Wikipedia

• Two Treatises of Government — Infobox Book name = Two Treatises of Government title orig = translator = image caption = Title page from the first edition author = John Locke illustrator = cover artist = country = England language = English series = subject = Political… …   Wikipedia

• Glossary of chess — See also: Outline of chess and Glossary of chess problems This page explains commonly used terms in chess in alphabetical order. Some of these have their own pages, like fork and pin. For a list of unorthodox chess pieces, see fairy chess… …   Wikipedia